منابع مشابه
Progression, Regression, or Stasis?
How optimistic sHould we be about the profession of software engineering and our current ability to credibly deliver quality systems within expected cost and schedule? In this issue, you’ll find a selection of articles that cover recent research on software quality assurance, all of which go beyond the “traditional” verification and validation (V&V) toolkit to look at recent advances focused sq...
متن کاملChallenges and Perspectives toward Development of more Effective Influenza Vaccine
Influenza viruses continue to be a major health threat in human and bird populations. The improvements in formulation and production level of the current influenza vaccines are not sufficient to afford complete protection. The continuous antigenic drifts and emergence of endemic and zoonotic strains make influenza vaccine planning difficult. Concern about the emergence of new influenza pandemic...
متن کاملToward More Powerful Recombinations
This paper suggests a exible framework for n-dimensional crossover, consisting of cutting, classi cation, and copying of genes. We prove that under this framework, any cutting strategy generates two equivalence classes of genes, making the framework appropriate as a crossover scheme. Three notable features of this framework are: (i) it enables more e ective use of genes' geographical linkage, (...
متن کاملToward More Expressive Contracts
The principles of Design by Contract form the basis of the Eiffel approach and account for a good deal of its appeal. Eiffel's contracts are the result of a design trade-offbetween the full extent of formal specifications and what is acceptable to practicing software developers. The latter criterion has been critical: The ideas had to be practical; any competent programmer can immediately see t...
متن کاملProgression and Regression Using Sensors
In this paper, we consider the projection task (determining what does or does not hold after performing a sequence of actions) in a general setting where a solution to the frame problem may or may not be available, and where online information from sensors may or may not be applicable. We formally characterize the projection task for actions theories of this sort, and show how a generalized for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the American College of Cardiology
سال: 2010
ISSN: 0735-1097
DOI: 10.1016/j.jacc.2010.01.051